/*
 * Copyright (C) 2011 Dirk Weißenborn, dirk.weissenborn@gmail.com
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package com.weissenborn.colabtex.client.view;

import java.util.List;

import com.google.gwt.place.shared.Place;
import com.google.gwt.user.client.ui.IsWidget;
import com.google.gwt.user.client.ui.TextArea;

// TODO: Auto-generated Javadoc
/**
 * The Interface TexView.
 */
public interface TexView extends IsWidget {

	/**
	 * Sets the presenter.
	 *
	 * @param listener the new presenter
	 */
	void setPresenter(Presenter listener);
	
	/**
	 * Sets the name.
	 *
	 * @param name the new name
	 */
	void setName(String name);
	
	/**
	 * Sets the url.
	 *
	 * @param url the new url
	 */
	void setUrl(String url);
	
	/**
	 * The Interface Presenter.
	 */
	public interface Presenter {
		
		/**
		 * Go to.
		 *
		 * @param place the place
		 */
		void goTo(Place place);

		/**
		 * Compile pdf.
		 */
		void compilePdf();

		/**
		 * Gets the log.
		 *
		 * @param area the area
		 * @return the log
		 */
		void getLog(TextArea area);

		/**
		 * Send tex file.
		 */
		void sendTexFile();

		/**
		 * Send pdf file.
		 */
		void sendPdfFile();
		
		/**
		 * Delete resource.
		 *
		 * @param itemText the item text
		 */
		void deleteResource(String itemText);

		/**
		 * Gets the resources.
		 *
		 * @return the resources
		 */
		void getResources();
	}

	/**
	 * Delete resource.
	 *
	 * @param filename the filename
	 */
	void deleteResource(String filename);

	/**
	 * Sets the resources in the view.
	 *
	 * @param result the new resources
	 */
	void setResources(List<String> result);	
}
